More on Church-Oswald Models for Set Theory
نویسنده
چکیده
1 Definitions and Background 3 1.1 Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.2 Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.2.1 Low = Small . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.2.2 The Conflation of ∈ and E in the Cumulative Hierarchy . 8 1.3 Gettings things free . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.3.1 The Potemkin Village Problem . . . . . . . . . . . . . . . 10 1.4 Definability of the new notions . . . . . . . . . . . . . . . . . . . 10
منابع مشابه
Possible Thesis Topics
• There is a standard trick of Ackermann’s that makes IN look like Vω: ordain that n E m iff the nth bit of (binary) m is 1. There is a suggestion in [4] that there is an analogue for Church’s set theory CUS, that in some sense it contains no mathematics not already in ZF—that the existence of a universal set is just a trompe l’oeil trick. There is a mathematical notion of synonymy which is in ...
متن کاملThe computational study of adsorption of carbon monoxide on pristine and Ge-doped (6,0) zigzag models of BNNTs
The aim of this research is studying the effects of Ge-doped on CO adsorption on the outer and inner surfaces of (6, 0) zigzag model of boron nitride nanotube (BNNTs) by using DFT theory. For this purpose, eight models of CO adsorption on the surfaces of BNNTs are considered. At first step, all structures were optimized at B3LYP and 6-31G (d) standard base set and then the electronic structure,...
متن کاملChurch’s Set Theory with a Universal Set
A detailed and fairly elementary introduction is given to the techniques used by Church to prove the consistency of his set theory with a universal set by constructing models of it from models of ZF. The construction is explained and some general facts about it proved.
متن کاملApplication of Rough Set Theory in Data Mining for Decision Support Systems (DSSs)
Decision support systems (DSSs) are prevalent information systems for decision making in many competitive business environments. In a DSS, decision making process is intimately related to some factors which determine the quality of information systems and their related products. Traditional approaches to data analysis usually cannot be implemented in sophisticated Companies, where managers ne...
متن کاملمطالعه بنیادی برهم کنش گاز N2O بر روی سطوح حالتهای خالص و آلایش یافته با Si، Ga و SiGa نانو لوله آرمچیر بور فسفید: به روش DFT
In present research, the electrical, structural, quantum and Nuclear Magnetic Resonance (NMR) parameters of interaction of N2O gas on the B and P sites of pristine, Ga-, Si- and SiGa-doped (4,4) armchair models of boron phosphide nanotubes (BPNTs) are investigated by using density functional theory (DFT). For this purpose, seven models for adsorption of N2O gas on the exterior surfaces of BPN...
متن کامل